equivalence of homotopy

[数] 同伦的等价